Pour bien débuter 2018 !

Notion de sémantiques bien-formées pour les règles

Résumé. La notion de règles entre attributs est très générale, allant des règles d’association en fouille de données aux dépendances fonctionnelles (DF) en bases de données. Malgré cette diversité, la syntaxe des règles est toujours la même, seule leur sémantique diffère. Pour une sémantique donnée, en fonction des propriétés induites, des techniques algorithmiques sont mises en oeuvre pour déc...

Algèbres de réalisabilité: un programme pour bien ordonner R

Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...

Bien-être de nash : enjeux et difficultés pour une société d'agents

The allocation of m resources between n agents is an AI problem with a great practical interest for automated trading. The general question is how to configure the behavior of bargaining agents to induce a socially optimal allocation. The literature contains many proposals for calculating a social welfare but the Nash welfare seems to be the one which has the most interesting properties for a f...

Utilisation de sous-systèmes bien contraints pour le filtrage de CSP numériques

Quand les méthodes par intervalles sont appliquées aux systèmes d’équations sur les réels, deux principaux types de filtrage sont utilisés pour réduire l’espace de recherche. Quand le système est carré, l’algorithme de Newton sur intervalles se comporte comme une contrainte globale sur tout le système n×n. D’autre part, les algorithmes de filtrage, provenant de la programmation par contraintes,...

El Bien Moral